module type ICOMPILER =
  sig
    val compile : Ast.expr * string list -> Types.instr Types.mpair ref
    exception Comp_Exception of string
  end
module COMPILER : ICOMPILER
